A General La M for Assum Enance
نویسنده
چکیده
Assumption-based truth maintenance svstems have become a powerful and widely used to”ol in Artificial Intelliaence Droblem solvers. The basic ATMS is restrictevd to accepting only horn clause justifications. Although various generalizations have been made and proposed to allow an ATMS to handle more general clauses, they have all involved the addition of complex and difficult to integrate hyperresolution rules. This paper presents an alternative approach based on negated assumptions which integrates simply and cleanly into existing ATMS algorithms and which does not require the use of a hyperresolution rule to ensure label consistency.
منابع مشابه
Association between arsenic exposure from a coal-burning power plant and urinary arsenic concentrations in Prievidza District, Slovakia.
To assess the arsenic exposure of a population living in the vicinity of a coal-burning power plant with high arsenic emission in the Prievidza District, Slovakia, 548 spot urine samples were speciated for inorganic As (Asinorg), monomethylarsonic acid (MMA), dimethylarsinic acid (DMA), and their sum (Assum). The urine samples were collected from the population of a case-control study on nonmel...
متن کاملMultivariate calibration with single-index signal regression
Article history: In general, linearity is assum Received 16 November 2008 Received in revised form 20 January 2009 Accepted 3 February 2009 Available online 12 February 2009
متن کاملA visible light driven doped TiO2 nanophotocatalyst: Preparation and characterization
A useful nanophotocatalyst (La,S-TiO2) was prepared by a sol-gel method and characterized by UV–vis diffuse reflectance spectroscopy (DRS), X-ray diffraction (XRD), photoluminescence emission spectroscopy (PL) and scanning electron microscopy (FESEM). The results showed that the La,S-TiO2, which calcined at 550 °C, contained only anatase phaseand its crystal size was 23 nm...
متن کاملA visible light driven doped TiO2 nanophotocatalyst: Preparation and characterization
A useful nanophotocatalyst (La,S-TiO2) was prepared by a sol-gel method and characterized by UV–vis diffuse reflectance spectroscopy (DRS), X-ray diffraction (XRD), photoluminescence emission spectroscopy (PL) and scanning electron microscopy (FESEM). The results showed that the La,S-TiO2, which calcined at 550 °C, contained only anatase phaseand its crystal size was 23 nm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999